f0a355d4a63c94352ec231d642f5cdf836986eb3,src/test/uniol/apt/analysis/coverability/CoverabilityGraphTest.java,CoverabilityGraphTest,testEmptyNet,#,163
In pattern: SUPERPATTERN
Frequency: 3
Non-data size: 3
Instances
1487669288
uli.schlachter@informatik.uni-oldenburg.de
CvO-Theory/apt,f0a355d4a63c94352ec231d642f5cdf836986eb3,src/test/uniol/apt/analysis/coverability/CoverabilityGraphTest.java,CoverabilityGraphTest,testEmptyNet,#,163
1487669288
uli.schlachter@informatik.uni-oldenburg.de
CvO-Theory/apt,f0a355d4a63c94352ec231d642f5cdf836986eb3,src/test/uniol/apt/analysis/coverability/CoverabilityGraphTest.java,CoverabilityGraphTest,testNoTransitionOnePlaceNet,#,178
1487669288
uli.schlachter@informatik.uni-oldenburg.de
CvO-Theory/apt,f0a355d4a63c94352ec231d642f5cdf836986eb3,src/test/uniol/apt/analysis/coverability/CoverabilityGraphTest.java,CoverabilityGraphTest,testOneTransitionNoPlaceNet,#,193